#unspecified
#unspecified
#unspecified
#unspecified

================(20)=================

========= (20a) self_RR admiring yeti============
(Processing:  (self_RR admiring yeti))

-------------------
edge      : 30 self_RR admiring yeti	(0 3)	(e \N t) 
semantics : (^ a ((yeti a) & (admire a a)))
proofnet  : (((1 . e) \N (2 . t)) (self_RR ((((1 . e) \N (2 . t)) / ((3 . e) \N (4 . t))) / (((5 . e) \ (6 . t)) / (7 . e)))) (admiring (((5 . e) \ (6 . t)) / (7 . e))) (yeti ((3 . e) \N (4 . t))))
derivation: ((self_RR admiring) yeti)
114 edges -- Done parsing.
#<output_port:stdout>

========= (20b) yeti self_LR admiring ============
(Processing:  (yeti self_LR admiring))

-------------------
edge      : 30 yeti self_LR admiring	(0 3)	(e \N t) 
semantics : (^ a ((yeti a) & (admire a a)))
proofnet  : (((1 . e) \N (2 . t)) (yeti ((3 . e) \N (4 . t))) (self_LR ((((3 . e) \N (4 . t)) \ ((1 . e) \N (2 . t))) / (((5 . e) \ (6 . t)) / (7 . e)))) (admiring (((5 . e) \ (6 . t)) / (7 . e))))
derivation: (yeti (self_LR admiring))
109 edges -- Done parsing.
#<output_port:stdout>

========= (20c) admiring self_RL yeti ============
(Processing:  (admiring self_RL yeti))

-------------------
edge      : 30 admiring self_RL yeti	(0 3)	(e \N t) 
semantics : (^ a ((yeti a) & (admire a a)))
proofnet  : (((1 . e) \N (2 . t)) (admiring (((3 . e) \ (4 . t)) / (5 . e))) (self_RL ((((3 . e) \ (4 . t)) / (5 . e)) \ (((1 . e) \N (2 . t)) / ((6 . e) \N (7 . t))))) (yeti ((6 . e) \N (7 . t))))
derivation: ((admiring self_RL) yeti)
113 edges -- Done parsing.
#<output_port:stdout>

========= (20d) yeti admiring self_LL ============
(Processing:  (yeti admiring self_LL))

-------------------
edge      : 30 yeti admiring self_LL	(0 3)	(e \N t) 
semantics : (^ a ((yeti a) & (admire a a)))
proofnet  : (((1 . e) \N (2 . t)) (yeti ((3 . e) \N (4 . t))) (admiring (((5 . e) \ (6 . t)) / (7 . e))) (self_LL ((((5 . e) \ (6 . t)) / (7 . e)) \ (((3 . e) \N (4 . t)) \ ((1 . e) \N (2 . t))))))
derivation: (yeti (admiring self_LL))
108 edges -- Done parsing.
#<output_port:stdout>
